Обсуждение:Формальная система
Эта статья тематически связана с вики-проектом «Математика», цель которого — создание и улучшение статей по темам, связанным с математикой. Вы можете её отредактировать, а также присоединиться к проекту, принять участие в его обсуждении и поработать над требуемыми статьями. |
Untitled
[править код]Утверждается: "После выяснения противоречивости теория, как правило, не имеет дальнейшего ни теоретического, ни практического применения" "Как правило", насколько понимаю, означает в большинстве случаев, но не всегда. Интересно было бы узнать примеры противоречивых теорий, которые имеют теоретическое применение и которые имеют практическое применение. 93.157.190.194 23:13, 29 января 2010 (UTC)
- Да, очень интересно.
- да и вообще в Определении желательно бы привести неск. примеров предмета статьи. Tpyvvikky 13:43, 13 марта 2011 (UTC)
В статье говорится следующее: "формальная арифметика и все теории, содержащие ее, в том числе теория действительных чисел, являются неполными". А что, их непротиворечивость уже установлена?--193.124.221.88 01:51, 6 мая 2011 (UTC)
Теории первого порядка
[править код]Неплохо бы определить "теории первого порядка" прежде чем делать о них выводы. МетаСкептик12 15:31, 20 августа 2015 (UTC)
Переадресации с "аксиоматического метода" и "аксиоматической теории"
[править код]Их следует убрать. Аксиоматический метод и аксиоматические теории существовали до появления формальных теорий, это не одно и то же. И должна быть отдельная статья про аксиоматические теории. Eozhik (обс.) 13:58, 12 октября 2019 (UTC)